Fibring Argumentation Frames
نویسندگان
چکیده
منابع مشابه
Fibring Argumentation Frames
This paper is part of a research program centered around argumentation networks and offering several research directions for argumentation networks, with a view of using such networks for integrating logics and network reasoning. In Section 1 we introduce our program manifesto. In Section 2 we motivate and show how to substitute one argumentation network as a node in another argumentation netwo...
متن کاملSemantics for Higher Level Attacks in Extended Argumentation Frames
In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks b, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. ...
متن کاملFibring Neural Networks
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of features of the symbolic and connectionist paradigms of artificial intelligence. This paper introduces a new neural network architecture based on the idea of fibring logical systems. Fibring allows one to combine different lo...
متن کاملFibring Logics *
Logics of a combined nature were abundant in the literature when, in the mid 1990s, the study of general mechanisms for combining logics developed into a well-posed research area [5, 6]. Several motivations, both theoretical and applied, concur to justify such a new line of research, but the increasing number of ever more complex logics and logical features appearing in application areas rangin...
متن کاملFibring: Completeness Preservation
A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2009
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-009-9217-y